Tim Sheard: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A CAT-derived one to three session intervention for repeated deliberate self-harm: A description of the model and initial experience of trainee psychiatrists in using it

Dr. Tim Sheard, Dr. Jonathan Evans, Debbie Cash, Jane Hicks, Amanda King, Neil Morgan, Ben Nereli, Ian Porter, Harvey Rees, John Sandford, Rebecca Slinn, Keerthi Sunder, Anthony Ryle

Journal:

Psychology and Psychotherapy: Theory, Research and Practice

Year:

2000

Language:

english

File:

PDF, 254 KB

english, 2000

2

MetaML and multi-stage programming with explicit annotations

Walid Taha, Tim Sheard

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 190 KB

english, 2000

3

Multi-stage programming with explicit annotations

Taha, Walid, Sheard, Tim

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.49 MB

english, 1997

4

[ACM Press the 1997 ACM SIGPLAN symposium - Amsterdam, The Netherlands (1997.06.12-1997.06.13)] Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 - Multi-stage programming with explicit annotations

Taha, Walid, Sheard, Tim

Year:

1997

Language:

english

File:

PDF, 1.49 MB

english, 1997

5

A hierarchy of mendler style recursion combinators

Ahn, Ki Yung, Sheard, Tim

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 684 KB

english, 2011

6

Optimal Contraction Intensity During Proprioceptive Neuromuscular Facilitation for Maximal Increase of Range of Motion

Sheard, Peter W, Paine, Tim J

Journal:

The Journal of Strength and Conditioning Research

Year:

2010

Language:

english

File:

PDF, 146 KB

english, 2010

7

Type-level Computation Using Narrowing in Ωmega

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 381 KB

english, 2007

8

Meta-programming With Built-in Type Equality

Tim Sheard, Emir Pasalic

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 320 KB

english, 2008

9

Inheritance of theory in the ADABTPL language

Tim Sheard, David Stemple

Journal:

Computer Languages

Year:

1992

Language:

english

File:

PDF, 735 KB

english, 1992

10

Athlete compliance to therapist requested contraction intensity during proprioceptive neuromuscular facilitation

Peter W. Sheard, Paul M. Smith, Tim J. Paine

Journal:

Year:

2009

Language:

english

File:

PDF, 312 KB

english, 2009

11

Template meta-programming for Haskell

Sheard, Tim, Jones, Simon Peyton

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 239 KB

english, 2002

12

[ACM Press the 2013 ACM SIGPLAN workshop - Boston, Massachusetts, USA (2013.09.24-2013.09.24)] Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming - DTP '13 - Leveling up dependent types

Diehl, Larry, Sheard, Tim

Year:

2013

Language:

english

File:

PDF, 544 KB

english, 2013

13

Magnetophoretic velocities of superparamagnetic particles, agglomerates and complexes

Wise, Naomi, Grob, Tim, Morten, Karl, Thompson, Ian, Sheard, Steve

Journal:

Journal of Magnetism and Magnetic Materials

Year:

2015

Language:

english

File:

PDF, 1.24 MB

english, 2015

14

[ACM Press the 2005 ACM SIGPLAN workshop - Tallinn, Estonia (2005.09.30-2005.09.30)] Proceedings of the 2005 ACM SIGPLAN workshop on Haskell - Haskell '05 - Putting curry-howard to work

Year:

2005

Language:

english

File:

PDF, 145 KB

english, 2005

15

Automatic generation and use of abstract structure operators

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1991

Language:

english

File:

PDF, 1.55 MB

english, 1991

16

[ACM Press the first ACM SIGPLAN symposium - Victoria, BC, Canada (2008.09.25-2008.09.25)] Proceedings of the first ACM SIGPLAN symposium on Haskell - Haskell '08 - Shared subtypes

Ahn, Ki Yung, Sheard, Tim

Year:

2008

Language:

english

File:

PDF, 290 KB

english, 2008

17

[ACM Press the 1988 ACM SIGMOD international conference - Chicago, Illinois, United States (1988.06.01-1988.06.03)] Proceedings of the 1988 ACM SIGMOD international conference on Management of data - SIGMOD '88 - Resolving the tension between integrity and security using a theorem prover

Mazumdar, Subhasish, Stemple, David, Sheard, Tim

Year:

1988

Language:

english

File:

PDF, 550 KB

english, 1988

18

[ACM Press the 1987 ACM SIGMOD international conference - San Francisco, California, United States (1987.05.27-1987.05.29)] Proceedings of the 1987 ACM SIGMOD international conference on Management of data - SIGMOD '87 - On the modes and meaning of feedback to transaction designers

Stemple, David, Mazumdar, Subhasish, Sheard, Tim

Year:

1987

Language:

english

File:

PDF, 1.07 MB

english, 1987

19

Shared subtypes

Ahn, Ki Yung, Sheard, Tim

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 290 KB

english, 2009

20

[ACM Press the 23rd ACM SIGPLAN-SIGACT symposium - St. Petersburg Beach, Florida, United States (1996.01.21-1996.01.24)] Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 - Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space)

Fegaras, Leonidas, Sheard, Tim

Year:

1996

Language:

english

File:

PDF, 1.15 MB

english, 1996

21

Multi-stage programming (poster)

Taha, Walid, Sheard, Tim

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 108 KB

english, 1997

22

A type-directed, on-line, partial evaluator for a polymorphic language

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.44 MB

english, 1997

23

[ACM Press Companion to the 19th annual ACM SIGPLAN conference - Vancouver, BC, CANADA (2004.10.24-2004.10.28)] Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '04 - Languages of the future

Year:

2004

Language:

english

File:

PDF, 144 KB

english, 2004

24

[ACM Press the conference - Copenhagen, Denmark (1993.06.09-1993.06.11)] Proceedings of the conference on Functional programming languages and computer architecture - FPCA '93 - A fold for all seasons

Sheard, Tim, Fegaras, Leonidas

Year:

1993

Language:

english

File:

PDF, 950 KB

english, 1993

25

[ACM Press the FSE/SDP workshop - Santa Fe, New Mexico, USA (2010.11.07-2010.11.08)] Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10 - Language-based verification will change the world

Sheard, Tim, Stump, Aaron, Weirich, Stephanie

Year:

2010

Language:

english

File:

PDF, 401 KB

english, 2010

26

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - A hierarchy of mendler style recursion combinators

Ahn, Ki Yung, Sheard, Tim

Year:

2011

Language:

english

File:

PDF, 684 KB

english, 2011

27

[ACM Press the seventh international conference - La Jolla, California, United States (1995.06.26-1995.06.28)] Proceedings of the seventh international conference on Functional programming languages and computer architecture - FPCA '95 - Warm fusion

Launchbury, John, Sheard, Tim

Year:

1995

Language:

english

File:

PDF, 941 KB

english, 1995

28

[ACM Press the 1997 ACM SIGPLAN symposium - Amsterdam, The Netherlands (1997.06.12-1997.06.13)] Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 - A type-directed, on-line, partial evaluator for a polymorphic language

Year:

1997

Language:

english

File:

PDF, 1.44 MB

english, 1997

29

[ACM Press the second ACM SIGPLAN international conference - Amsterdam, The Netherlands (1997.06.09-1997.06.11)] Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP '97 - Multi-stage programming (poster)

Taha, Walid, Sheard, Tim

Year:

1997

Language:

english

File:

PDF, 108 KB

english, 1997

30

[ACM Press the 10th ACM SIGPLAN workshop - Gothenburg, Sweden (2014.08.31-2014.08.31)] Proceedings of the 10th ACM SIGPLAN workshop on Generic programming - WGP '14 - Generic constructors and eliminators from descriptions

Diehl, Larry, Sheard, Tim

Year:

2014

Language:

english

File:

PDF, 543 KB

english, 2014

31

[ACM Press the 25th ACM SIGPLAN-SIGACT symposium - San Diego, California, United States (1998.01.19-1998.01.21)] Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98 - Dynamic typing as staged type inference

Shields, Mark, Sheard, Tim, Peyton Jones, Simon

Year:

1998

Language:

english

File:

PDF, 1.85 MB

english, 1998

32

Automatic verification of database transaction safety

Sheard, Tim, Stemple, David

Journal:

ACM Transactions on Database Systems

Year:

1989

Language:

english

File:

PDF, 3.18 MB

english, 1989

33

[ACM Press the 5th ACM SIGPLAN workshop - Madrid, Spain (2010.01.23-2010.01.23)] Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '10 - Pointwise generalized algebraic data types

Lin, Chuan-kai, Sheard, Tim

Year:

2010

Language:

english

File:

PDF, 491 KB

english, 2010

34

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - Binders unbound

Weirich, Stephanie, Yorgey, Brent A., Sheard, Tim

Year:

2011

Language:

english

File:

PDF, 626 KB

english, 2011

35

[ACM Press the 2nd conference - Austin, Texas, United States (1999.10.03-1999.10.06)] Proceedings of the 2nd conference on Domain-specific languages - PLAN '99 - DSL implementation using staging and monads

Sheard, Tim, Benaissa, Zine-el-abidine, Pasalic, Emir

Year:

1999

Language:

english

File:

PDF, 901 KB

english, 1999

36

Comparison between simulation and experimentally observed interactions between two magnetic beads in a fluidic system

Oduwole, Olayinka, Grob, David Tim, Sheard, Steve

Journal:

Journal of Magnetism and Magnetic Materials

Year:

2016

Language:

english

File:

PDF, 529 KB

english, 2016

37

[IEEE 1986 IEEE Second International Conference on Data Engineering - Los Angeles, CA, USA (1986.2.5-1986.2.7)] 1986 IEEE Second International Conference on Data Engineering - Abstract data types in databases: Specification, manipulation and access

Stemple, David, Sheard, Tim, Bunker, Ralph

Year:

1986

Language:

english

File:

PDF, 2.29 MB

english, 1986

38

DSL implementation using staging and monads

Sheard, Tim, Benaissa, Zine-el-abidine, Pasalic, Emir

Journal:

ACM SIGPLAN Notices

Year:

2000

Language:

english

File:

PDF, 901 KB

english, 2000

39

Two-level types and parameterized modules

SHEARD, TIM, PASALIC, EMIR

Journal:

Journal of Functional Programming

Year:

2004

Language:

english

File:

PDF, 231 KB

english, 2004

40

Binders unbound

Weirich, Stephanie, Yorgey, Brent A., Sheard, Tim

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 626 KB

english, 2011

41

Resolving the tension between integrity and security using a theorem prover

Mazumdar, Subhasish, Stemple, David, Sheard, Tim

Journal:

ACM SIGMOD Record

Year:

1988

Language:

english

File:

PDF, 550 KB

english, 1988

42

Transoral laser microsurgery for oropharyngeal squamous cell carcinoma: A paradigm shift in therapeutic approach

Wilkie, Mark D., Upile, Navdeep S., Lau, Andrew S., Williams, Stephen P., Sheard, Jon, Helliwell, Tim R., Robinson, Max, Rodrigues, Jennifer, Beemireddy, Krishna, Lewis-Jones, Huw, Hanlon, Rebecca, Hu

Journal:

Year:

2016

Language:

english

File:

PDF, 254 KB

english, 2016

43

Generic unification via two-level types and parameterized modules

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 183 KB

english, 2001

44

On the modes and meaning of feedback to transaction designers

Stemple, David, Mazumdar, Subhasish, Sheard, Tim

Journal:

ACM SIGMOD Record

Year:

1987

Language:

english

File:

PDF, 1.07 MB

english, 1987

45

Languages of the future

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 435 KB

english, 2004

46

Comparison of DNA quantification methodology used in the DNA extraction protocol for the UK Biobank cohort

Welsh, Samantha, Peakman, Tim, Sheard, Simon, Almond, Rachael

Journal:

Year:

2017

Language:

english

File:

PDF, 1008 KB

english, 2017

47

[ACM Press the ACM SIGPLAN workshop - Pittsburgh, Pennsylvania (2002.10.03-..)] Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell '02 - Template meta-programming for Haskell

Sheard, Tim, Jones, Simon Peyton

Year:

2002

Language:

english

File:

PDF, 165 KB

english, 2002

48

Menu Interface Features, Older Adults and Public Access Technology

Sheard, Mary, Noyes, Jan, Perfect, Tim

Journal:

IFAC Proceedings Volumes

Year:

2001

Language:

english

File:

PDF, 823 KB

english, 2001

49

Magnetic susceptibility characterisation of superparamagnetic microspheres

Grob, David Tim, Wise, Naomi, Oduwole, Olayinka, Sheard, Steve

Journal:

Journal of Magnetism and Magnetic Materials

Year:

2017

Language:

english

File:

PDF, 3.46 MB

english, 2017

50

[ACM Press Annual IEEE/ACM International Symposium - Orlando, FL, USA (2014.02.15-2014.02.19)] Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization - CGO '14 - Red Fox

Wu, Haicheng, Diamos, Gregory, Sheard, Tim, Aref, Molham, Baxter, Sean, Garland, Michael, Yalamanchili, Sudhakar

Year:

2014

Language:

english

File:

PDF, 700 KB

english, 2014